home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / modprolg / mod-prol.lha / Prolog / cmplib / src / $compile1.P < prev    next >
Text File  |  1992-06-01  |  9KB  |  276 lines

  1. /************************************************************************
  2. *                                    *
  3. * The SB-Prolog System                            *
  4. * Copyright SUNY at Stony Brook, 1986; University of Arizona, 1987    *
  5. *                                    *
  6. ************************************************************************/
  7.  
  8. /*-----------------------------------------------------------------
  9. SB-Prolog is distributed in the hope that it will be useful,
  10. but WITHOUT ANY WARRANTY.  No author or distributor
  11. accepts responsibility to anyone for the consequences of using it
  12. or for whether it serves any particular purpose or works at all,
  13. unless he says so in writing.  Refer to the SB-Prolog General Public
  14. License for full details.
  15.  
  16. Everyone is granted permission to copy, modify and redistribute
  17. SB-Prolog, but only under the conditions described in the
  18. SB-Prolog General Public License.   A copy of this license is
  19. supposed to have been given to you along with SB-Prolog so you
  20. can know your rights and responsibilities.  It should be in a
  21. file named COPYING.  Among other things, the copyright notice
  22. and this notice must be preserved on all copies. 
  23. ------------------------------------------------------------------ */
  24. /* $compile1.P */
  25.  
  26. /* This Prolog program is a first attempt to take an input Prolog program in
  27. a simple syntax, relatively close to standard Prolog, and to output an
  28. annotated term, with pragmas attached, so that the pilgen translator can
  29. generate correct intermediate code. 
  30.  
  31. The input clauses will be read (using Prolog's read command) one at a time
  32. from standard input (for now), until end-of-file is reached.  
  33.  
  34. During the translation of a clause, a Symbol Table (St) is constructed.  It
  35. contains information on each occurrence of a variable in the clause, as
  36. follows.  It is a record st(Clist,Vlist); where Clist is the list of records
  37. c(Litno,Npars,Pragma) where Litno is the number of the literal on the rhs of
  38. the rule, Npars is the number of arguments to that literal, and Pragma is
  39. the pragma associated with the _call record for that literal in the clause;
  40. Vlist is a list of records, v(id,Occlist), one for each variable; where id
  41. the unique identifier for the variable, and Occlist is a list of occurrence
  42. records, o(Occno,Litno,Argno,Context,Pragma), one for each occurrence of the
  43. variable in the clause; where Occno uniquely determines the occurrence of
  44. this variable; Litno is the number of the literal (0=head, 1=first on
  45. rhs,...); Argno is the number of the argument in which it appears (starting
  46. with 1) Context is `s' if it is in a structure and `t' if it is at the top
  47. level; and Pragma is the list that is the Pragma for the occurrence of the
  48. variable in the code.  
  49. */ 
  50.  
  51. $compile_export([$compile/0,$compile/1,$compile/2,$compile/3,$compile/4]).
  52.  
  53. $compile_use($name,[$name/2,_,_]).
  54. $compile_use($blist,[$append/3,$member/2,$member1/2,$not_member1/2]).
  55. $compile_use($bio,[$writename/1,$writeqname/1,$put/1,$nl/0,$tab/1,$tell/1,
  56.     $telling/1,$told/0,$get/1,$get0/1,$see/1,$seeing/1,$seen/0]).
  57. $compile_use($bmeta,[$atom/1,$atomic/1,$integer/1,$number/1,$structure/1,
  58.     $functor0/2,$bldstr/3,$arg/3,$arity/2,$real/1,$floor/2,$bldstr/4,
  59.     $functor0/3]).
  60. $compile_use($osys,[$cputime/1,_,_,_]).
  61. $compile_use($compare,['$=='/2,_,_,_,_,_,_]).
  62. $compile_use($listutil1,[$reverse/2,$merge/3,$absmember/2,$absmerge/3,
  63.         $nthmember/3,$nthmember1/3,$member2/2,$closetail/1]).
  64. $compile_use($getclauses,[$getclauses/2,$getclauses/3,$attach/2,_]).
  65. $compile_use($mac,[$macexp/3]).
  66.  
  67. /* **********************************************************************
  68. $compile_use : $aux1, $translate1
  69. ********************************************************************** */
  70.  
  71.  
  72. $compile :- $writename('compile: Usage: compile(<inputfile> [,<outputfile>, [,<option>] ])'), $nl.
  73.  
  74. $compile(InFile) :-
  75.     $atomic(InFile) ->
  76.         ($name(InFile,Fname),
  77.          $append(Fname,".out",OFname),
  78.          $name(OutFile,OFname),
  79.          $compile_default_opts(Options),
  80.          $compile0(InFile,OutFile,Options,_)
  81.         ) ;
  82.         ($writename('*** Error: filenames must be atomic! ***'),
  83.          $nl,
  84.          abort
  85.         ).
  86.  
  87. $compile(InFile,Opt2) :-
  88.     $atomic(InFile) ->
  89.         ($atomic(Opt2), !, /* Opt2 is filename */
  90.          $compile_default_opts(Options),
  91.          $compile0(InFile,Opt2,Options,_)
  92.         ) ;
  93.         ($writename('*** Error: input filename must be atomic! ***'),
  94.          $nl,
  95.          abort
  96.         ).
  97. $compile(InFile,Opt2) :- /* Opt2 is Options */
  98.         $name(InFile,Fname),
  99.         $append(Fname,".out",OFname),
  100.         $name(OutFile,OFname),
  101.         $compile0(InFile,OutFile,Opt2,_).
  102.  
  103. $compile(InFile, Opt1, Opt2) :-
  104.     $atomic(InFile) ->
  105.         ($atomic(Opt1), !, /* Opt1 is filename */
  106.          $compile0(InFile,Opt1,Opt2,_)
  107.         ) ;
  108.         ($writename('*** Error: input filename must be atomic! ***'),
  109.          $nl,
  110.          abort
  111.                 ).
  112. $compile(InFile, Opt1, Opt2) :-
  113.     $atomic(Opt2) ->
  114.         ( /* Opt2 is filename */
  115.           $compile0(InFile,Opt2,Opt1,_)
  116.         ) ;
  117.         ( $writename('*** Error: output filename must be atomic! ***'),
  118.           $nl,
  119.           abort
  120.         ).
  121.  
  122. $compile(InFile, Opt1, Opt2,PredList) :-
  123.     $atomic(InFile) ->
  124.         ($atomic(Opt1), !, /* Opt1 is filename */
  125.           $compile0(InFile,Opt1,Opt2,PredList)
  126.         ) ;
  127.         ($writename('*** Error: input filename must be atomic! ***'),
  128.          $nl,
  129.          abort
  130.                 ).
  131. $compile(InFile, Opt1, Opt2,PredList) :-
  132.     $atomic(Opt2) ->
  133.         ( /* Opt2 is filename */
  134.           $compile0(InFile,Opt2,Opt1,PredList)
  135.         ) ;
  136.         ( $writename('*** Error: output filename must be atomic! ***'),
  137.           $nl,
  138.           abort
  139.         ).
  140.  
  141. /* default_opts([v]). */
  142.  
  143. $compile_default_opts([]).
  144.  
  145. /* translate */
  146. $compile0(InFile, OutFile, Options, PredList) :- 
  147.     $nl, 
  148.         $writename( 'Compile : ' ), $writename( InFile ),  $writename(' => '),
  149.     $writename( OutFile ), $nl,
  150.     exists(InFile) -> $compile1(InFile,OutFile,Options,PredList) ;
  151.                $umsg(['*** No such file:',InFile]).
  152.  
  153. $compile1(InFile, OutFile, Options, PredList) :- 
  154.     $init_indexinfo,
  155.     $cputime(X1),
  156.     ($member1(a,Options) -> /* create intermediate .asl file */
  157.           ($message1(Options),
  158.            $name_aslfile(InFile, OutFile1),
  159.            $compile_gen_PIL(InFile,OutFile1,Options,PredList),
  160.            $asm(OutFile1,OutFile,Options)
  161.          ) ;
  162.          $compile_gen_BC(InFile,OutFile,Options,PredList)
  163.     ),
  164.     ($member1(l, Options) ->  /* load byte code */
  165.         load(OutFile) ;
  166.         true
  167.     ),
  168.     $compile_cleanup,
  169.     $tell(user),
  170.     $cputime(X2),
  171.     CTime is X2 - X1, $get_compiletime(CTime,Time),
  172.     $writename('compilation complete -- '),
  173.     $writename(Time),$writename(' secs'),$nl.
  174.  
  175. $compile_gen_PIL(InFile, OutFile1, Options,PredList) :-
  176.     $getclauses(InFile,IProg,PredList),
  177.     $macexp(IProg,Options,Prog),
  178.     $compile_indexinfo(PredList,IndexInfo),
  179.     $compile_getmodes(Prog,Options,IndexInfo,PredList,Modes),
  180.     $tell(OutFile1),
  181.     !,
  182.     $compile_transl_preds(Prog,Options,IndexInfo,Modes,PredList),
  183.     $told.
  184.  
  185. $compile_transl_preds(ClauseList,Options,Prag,Modes,PredList) :-
  186.     $member(PredDef, ClauseList),
  187.     PredDef = pred(P,N,_,_,_),
  188.     $output_msg(P,N,Options),
  189.     ($member2([P,N,Mode],Modes) -> true ; $zerolist(N,Mode)),
  190.     $translate(PredDef,Options,Prag,Mode,PredList),
  191.     fail.
  192. $compile_transl_preds(_,_,_,_,_).
  193.  
  194. $compile_gen_BC(InFile, OutFile, Options,PredList) :-
  195.     $getclauses(InFile,IProg,PredList),
  196.     $macexp(IProg,Options,Prog),
  197.     $compile_indexinfo(PredList,IndexInfo),
  198.     $compile_getmodes(Prog,Options,IndexInfo,PredList,Modes),
  199.     $tell(OutFile),
  200.     $compile_translasm_preds(Prog,Options,IndexInfo,Modes,PredList),
  201.     $told.
  202.  
  203. $compile_translasm_preds(ClauseList,Options,Prag,Modes,PredList) :-
  204.     $member(PredDef, ClauseList),
  205.     PredDef = pred(P,N,_,_,_),
  206.     $output_msg(P,N,Options),
  207.     ($member2([P,N,Mode],Modes) -> true ; $zerolist(N,Mode)),
  208.     $translateasm(PredDef,Options,Prag,Mode,PredList),
  209.     fail.
  210. $compile_translasm_preds(_,_,_,_,_).
  211.  
  212. $compile_getmodes(Prog,Options,Prag,PredList,Modes) :-
  213.      ((symtype('_$mode'(_,_,_),MDef), MDef > 0) ->
  214.          $bagof([P,N,M],'_$mode'(P,N,M),Modes1) ;
  215.          Modes1 = []
  216.     ),
  217.     ($member1(m,Options) ->
  218.         ($mode_inf(Prog,Options,Prag,PredList,Modes0),
  219.          $rplc_mode(Modes1,Modes0,Modes)
  220.         ) ;
  221.         Modes = Modes1
  222.     ).
  223.  
  224. $rplc_mode([],M,M).
  225. $rplc_mode([M|MRest0],Modes1,Modes) :-
  226.     $rplc_mode1(Modes1,M,Modes2),
  227.     $rplc_mode(MRest0,Modes2,Modes).
  228.  
  229. $rplc_mode1([],M,[M]).
  230. $rplc_mode1([[P,N,Mode1]|Rest],[P,N,Mode0],[[P,N,Mode0]|Rest]) :- !.
  231. $rplc_mode1([M1|MRest],M0,[M1|NRest]) :- $rplc_mode1(MRest,M0,NRest).
  232.  
  233. $zerolist(0,[]).
  234. $zerolist(N,[0|L]) :- N > 0, N1 is N-1, $zerolist(N1,L).
  235.  
  236. $compile_indexinfo(PredList,Index) :-
  237.      $check_legit_index(PredList),
  238.      $compile_indexinfo1(PredList,Index).
  239.  
  240. $check_legit_index(Preds) :-
  241.      $bagof((P/N), K^'_$index'(P,N,K), IndexList),
  242.      $telling(OFile), $tell(user),
  243.      $check_legit1(IndexList,Preds),
  244.      $told, $tell(OFile).
  245.  
  246. $check_legit1([],_).
  247. $check_legit1([X|L],Preds) :-
  248.      ($member1(X,Preds) ->
  249.           true ;
  250.       (X = '/'(P,N),
  251.        $write('*** Warning: index set on undefined predicate '),
  252.        $write(P), $write('/'), $write(N), $nl
  253.       )
  254.      ),
  255.      $check_legit1(L,Preds).      
  256.  
  257. $compile_indexinfo1([],[]).
  258. $compile_indexinfo1([(P/N)|Preds],[prag(P,N,[index(K)])|IRest]) :-
  259.      ('_$index'(P,N,K) ->
  260.           true ;
  261.       K = 1
  262.      ),
  263.      $compile_indexinfo1(Preds,IRest).          
  264.  
  265. $init_indexinfo :-
  266.      $symtype('_$index'(_,_,_), L),
  267.      (L > 0 -> true ; $assert(('_$index'(_,_,_) :- fail))).
  268.  
  269. $compile_cleanup :-
  270.     $abolish('_$mode'(_,_,_)),
  271.     $abolish('_$emode'(_,_,_)),
  272.     $abolish('_$index'(_,_,_)).
  273.  
  274. /* ---------------------------- $compile1.P ---------------------------- */
  275.  
  276.